Grammar Discovery, Protocol Archaeology, Syntax Extraction, Format Recovery

From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔨Compilers
Flag this post
Getting Started with Text Mining in R and Python: Origins, Applications, and Real-World Case Studies
dev.to·9h·
Discuss: DEV
📄Text Mining
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·16h
💻Programming languages
Flag this post
AI-guided analysis assigns amino acid-level roles in protein design
phys.org·1d
🕸️Algebraic Topology
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·5h
🛡️eBPF Security
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
🔓Decompilation
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·2h
🧪Property-Based Testing
Flag this post
Watch the recordings from my Python + AI series
blog.pamelafox.org·5h·
🎙️Whisper
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·22h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·5h·
Discuss: Hacker News
🔗Monadic Parsing
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·1h·
Discuss: Hacker News
🔒Linear Types
Flag this post
Show HN: I'm building an open source platform for studying Arabic
parallel-arabic.com·4h·
Discuss: Hacker News
📝ABNF Extensions
Flag this post
Scalable Knowledge Graph Embedding via Adaptive Dimensionality Reduction & Multi-Objective Optimization
dev.to·10h·
Discuss: DEV
🕸️Graph Embeddings
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Building an Intelligent RAG System with Query Routing, Validation and Self-Correction
dev.to·7h·
Discuss: DEV
🔍Information Retrieval
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·5h·
Discuss: Hacker News
🔒Linear Types
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·19h·
💧Liquid Types
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·1h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Flag this post
Enhancing ECG Classification Robustness with Lightweight Unsupervised Anomaly Detection Filters
arxiv.org·16h
🧠Machine Learning
Flag this post